Evaluating the Stream Control Transmission Protocol Using Uppaal
نویسندگان
چکیده
The Stream Control Transmission Protocol (SCTP) is a Transport Layer protocol that has been proposed as an alternative to the Transmission Control Protocol (TCP) for the Internet of Things (IoT). SCTP, with its four-way handshake mechanism, claims to protect the Server from a Denial-of-Service (DoS) attack by ensuring the legitimacy of the Client, which has been a known issue pertaining to the three-way handshake of TCP. This paper compares the handshakes of TCP and SCTP to discuss its shortcomings and strengths. We present an Uppaal model of the TCP three-way handshake and SCTP four-way handshake and show that SCTP is able to cope with the presence of an Illegitimate Client, while TCP fails. The results confirm that SCTP is better equipped to deal with this type of attack.
منابع مشابه
Veri cation of an Audio Protocol with Bus Collision Using UPPAAL?
In this paper we apply the tool Uppaal to an automatic analysis of a version of the Philips Audio Control Protocol with two senders and bus collision handling. This case study is signi cantly larger than the real-time/hybrid systems previously analysed by automatic tools. During the case study the tool Uppaal was extended with a new feature, committed locations, allowing e cient modelling of br...
متن کاملFormal Verification of Bluetooth Standard 802.11a Using UPPAAL
The time domain and node connectivity is the most critical analytical approach as an analyser in a real time operating system. The purpose of using AODV routing protocol is to decrease the delay and increase the efficiency of the network. AODV routing protocol and employs the idea of a trust model to protect routing behaviours in the network layer of MANETs. Cooperation between nodes should be ...
متن کاملSpeciication and Veriication of Media Constraints Using Uppaal ?
We present the formal speciication and veriication of a mul-timedia stream. The stream is described in a timed automata notation. We verify that the stream satisses certain quality of service properties, in particular, throughput and end-to-end latency. The veriication tool used is the real-time model checker UPPAAL.
متن کاملModel-Based Verification of the DMAMAC Protocol for Real-time Process Control
Medium Access Control (MAC) protocols are responsible for managing radio communication that constitute the main energy consumer in wireless sensor-actuator networks. The Dual-Mode Adaptive MAC (DMAMAC) protocol is a recently proposed MAC protocol for process control applications in industrial automation. The goal of the DMAMAC protocol is to improve energy efficiency along with addressing real-...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017